1. Assertion-Based Design
پدیدآورنده: \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
رده :
E-Book
,
2. Assertion-based desig
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Very large scale integration--Design and construction,Integrated circuits--Verification,Verilog (Computer hardware description language)
رده :
TK
,
7874
.
75
,
F68
,
2004eb
3. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
E-BOOK
4. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
TK7874
.
75
F68
2004
5. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language)
رده :
TK
7874
.
75
.
F68
2004
6. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
7. Symbolic simulation methods for industrial formal verification
پدیدآورنده: / Robert B. Jones
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK
7874
.
75
.
J66
2002
8. Trace-Based Post-Silicon Validation for VLSI Circuits
پدیدآورنده: \ Xiao Liu, Qiang Xu
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
9. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده: / by Xiao Liu, Qiang Xu
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Integrated circuits -- Very large scale integration Design and construction,Integrated circuits -- Verification
رده :
TK7874
.
L58
2014
10. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده: / by Xiao Liu, Qiang Xu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
رده :
E-BOOK
11. VLSI specification, verification, and synthesis
پدیدآورنده: / edited by Graham Birtwistle and P.A. Subrahmanyam
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification
رده :
TK
7874
.
V564
1988
